Fuzzy Authentication using Rank Distance

Fuzzy authentication allows authentication based on the fuzzy matching of two objects, for example based on the similarity of two strings in the Hamming metric, or on the similiarity of two sets in the set difference metric. Aim of this paper is to show other models and algorithms of secure fuzzy authentication, which can be performed using the rank metric. A few schemes are presented which can then be applied in different scenarios and applications.Comment: to appear in Cryptography and Physical Layer Security, Lecture Notes in Electrical Engineering, Springe

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

Women’s pelvic floor muscle strength and urinary and anal incontinence after childbirth: a cross-sectional study

Abstract OBJECTIVE To analyse pelvic floor muscle strength (PFMS) and urinary and anal incontinence (UI and AI) in the postpartum period. METHOD Cross-sectional study carried out with women in their first seven months after child birth. Data were collected through interviews, perineometry (Peritron™), and the International Consultation on Incontinence Questionnaire-Short Form (ICIQ-SF). RESULTS 128 women participated in the study. The PFMS mean was 33.1 (SD=16.0) cmH2O and the prevalence of UI and AI was 7.8% and 5.5%, respectively. In the multiple analyses, the variables associated with PFMS were type of birth and cohabitation with a partner. Newborn’s weight, previous pregnancy, UI during pregnancy, and sexual activity showed an association with UI after child birth. Only AI prior to pregnancy was associated with AI after childbirth. CONCLUSION Vaginal birth predisposes to the reduction of PFMS, and caesarean section had a protective effect to its reduction. The occurrence of UI during pregnancy is a predictor of UI after childbirth, and women with previous pregnancies and newborns with higher weights are more likely to have UI after childbirth.AI prior to pregnancy is the only risk factor for its occurrence after childbirth. Associations between PFMS and cohabitation with a partner, and between UI and sexual activity do not make possible to conclude that these variables are directly associated

An overview of the current status of CMB observations

In this paper we briefly review the current status of the Cosmic Microwave Background (CMB) observations, summarising the latest results obtained from CMB experiments, both in intensity and polarization, and the constraints imposed on the cosmological parameters. We also present a summary of current and future CMB experiments, with a special focus on the quest for the CMB B-mode polarization.Comment: Latest CMB results have been included. References added. To appear in "Highlights of Spanish Astrophysics V", Proceedings of the VIII Scientific Meeting of the Spanish Astronomical Society (SEA) held in Santander, 7-11 July, 200

A canine leishmaniasis pilot survey in an emerging focus of visceral leishmaniasis: Posadas (Misiones, Argentina)

<p>Abstract</p> <p>Background</p> <p>An increasing number of reports are calling our attention to the worldwide spread of leishmaniasis. The urbanization of zoonotic visceral leishmaniasis (VL) has been observed in different South American countries, due to changes in demographic and ecological factors. In May 2006, VL was detected for the first time in the city of Posadas (Misiones, Argentina). This event encouraged us to conduct a clinical and parasitological pilot survey on domestic dogs from Posadas to identify their potential role as reservoirs for the disease.</p> <p>Methods</p> <p>One hundred and ten dogs from the city of Posadas were included in the study. They were selected based on convenience and availability. All dogs underwent clinical examination. Symptomatology related to canine leishmaniasis was recorded, and peripheral blood and lymph node aspirates were collected. Anti-<it>Leishmania </it>antibodies were detected using rK39-immunocromatographic tests and IFAT. Parasite detection was based on peripheral blood and lymph node aspirate PCR targeting the <it>SSUrRNA </it>gene. Molecular typing was addressed by DNA sequence analysis of the PCR products obtained by <it>SSUrRNA </it>and ITS-1 PCR.</p> <p>Results</p> <p>According to clinical examination, 69.1% (76/110) of the dogs presented symptoms compatible with canine leishmaniasis. Serological analyses were positive for 43.6% (48/110) of the dogs and parasite DNA was detected in 47.3% (52/110). A total of 63 dogs (57.3%) were positive by serology and/or PCR. Molecular typing identified <it>Leishmania infantum </it>(syn. <it>Leishmania chagasi</it>) as the causative agent.</p> <p>Conclusions</p> <p>This work confirms recent findings which revealed the presence of <it>Lutzomyia longipalpis</it>, the vector of <it>L. infantum </it>in this area of South America. This new VL focus could be well established, and further work is needed to ascertain its magnitude and to prevent further human VL cases.</p

Evaluation of rK39 rapid diagnostic tests for canine visceral leishmaniasis : longitudinal study and meta-analysis

Canine visceral leishmaniasis is a vector-borne disease caused by the intracellular parasite Leishmania infantum. It is an important veterinary disease, and dogs are also the main animal reservoir for human infection. The disease is widespread in the Mediterranean area, and parts of Asia and South and Central America, and is potentially fatal in both dogs and humans unless treated. Diagnosis of canine infections requires serological or molecular tests. Detection of infection in dogs is important prior to treatment, and in epidemiological studies and control programmes, and a sensitive and specific rapid diagnostic test would be very useful. Rapid diagnostic tests (RDTs) have been developed, but their diagnostic performance has been reported to be variable. We evaluated the sensitivity of a RDT based on serological detection of the rK39 antigen in a cohort of naturally infected Brazilian dogs. The sensitivity of the test to detect infection was relatively low, but increased with time since infection and the severity of infection. We then carried out a meta-analysis of published studies of rK39 RDTs, evaluating the sensitivity to detect disease and infection. The results suggest that rK39 RDTs may be useful in a veterinary clinical setting, but the sensitivity to detect infection is too low for operational control programmes

Accounting Problems Under the Excess Profits Tax

DNA vaccines based on subunits from pathogens have several advantages over other vaccine strategies. DNA vaccines can easily be modified, they show good safety profiles, are stable and inexpensive to produce, and the immune response can be focused to the antigen of interest. However, the immunogenicity of DNA vaccines which is generally quite low needs to be improved. Electroporation and co-delivery of genetically encoded immune adjuvants are two strategies aiming at increasing the efficacy of DNA vaccines. Here, we have examined whether targeting to antigen-presenting cells (APC) could increase the immune response to surface envelope glycoprotein (Env) gp120 from Human Immunodeficiency Virus type 1 (HIV- 1). To target APC, we utilized a homodimeric vaccine format denoted vaccibody, which enables covalent fusion of gp120 to molecules that can target APC. Two molecules were tested for their efficiency as targeting units: the antibody-derived single chain Fragment variable (scFv) specific for the major histocompatilibility complex (MHC) class II I-E molecules, and the CC chemokine ligand 3 (CCL3). The vaccines were delivered as DNA into muscle of mice with or without electroporation. Targeting of gp120 to MHC class II molecules induced antibodies that neutralized HIV-1 and that persisted for more than a year after one single immunization with electroporation. Targeting by CCL3 significantly increased the number of HIV-1 gp120-reactive CD8(+) T cells compared to non-targeted vaccines and gp120 delivered alone in the absence of electroporation. The data suggest that chemokines are promising molecular adjuvants because small amounts can attract immune cells and promote immune responses without advanced equipment such as electroporation.Funding Agencies|Research Council of Norway; Odd Fellow</p